Beyond admissibility: accepting cycles in argumentation with game protocols for cogency criteria

نویسندگان

  • Gustavo Adrian Bodanza
  • Fernando A. Tohmé
  • Guillermo Ricardo Simari
چکیده

In this paper we extend Dung’s formal approach from admissibility to less demanding extension semantics allowing arguments in cycles of attacks. We present an acceptance criterion leading to the characterization of three semantics called pairwise cogency, weak cogency and cyclic cogency. Particular gametheoretic protocols allow us to identify winning strategies with extensions in different semantics. Furthermore, an algorithmic characterization of those games exhibits clearly how self-attacking or in odd-length cycles of attack can be rationally managed beyond the limits of admissibility.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Desiderata for Agent Argumentation Protocols (Tracking number 215)

Designers of agent communications protocols are increasingly using formal dialogue games, adopted from argumentation theory, as the basis for structured agent interactions. We propose a set of desiderata for such protocols, drawing on recent research in agent interaction, on recent criteria for assessment of automated auction mechanisms and on elements of argumentation theory and political scie...

متن کامل

Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack

The problems that arise from the presence of self-attacking arguments and odd-length cycles of attack within argumentation frameworks are widely recognized in the literature on defeasible argumentation. This paper introduces two simple semantics to capture different intuitions about what kinds of arguments should become justified in such scenarios. These semantics are modeled upon two extension...

متن کامل

Argumentation Semantics for Prioritised Default Logic

We endow prioritised default logic (PDL) with argumentation semantics using the ASPIC framework for structured argumentation, and prove that the conclusions of the justified arguments are exactly the prioritised default extensions. Argumentation semantics for PDL will allow for the application of argument game proof theories to the process of inference in PDL, making the reasons for accepting a...

متن کامل

Assumption-Based Argumentation for Communicating Agents

Assumption-Based Argumentation (ABA), and to a large extent argumentation in general, up to now has been considered in a single-agent setting. ABA, in particular, is such that an agent engages in a dispute (dialectic proof procedure) with itself (an imaginary opponent) to decide whether a claim is acceptable according to some acceptability criteria. We present in this paper a generalised proof ...

متن کامل

Prioritised Default Logic as Rational Argumentation

We endow Brewka’s prioritised default logic (PDL) with argumentation semantics using the ASPIC framework for structured argumentation. We prove that the conclusions of the justified arguments correspond to the prioritised default extensions in a normatively rational manner. Argumentation semantics for PDL will allow for the application of argument game proof theories to the process of inference...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Log. Comput.

دوره 26  شماره 

صفحات  -

تاریخ انتشار 2016